TU Berlin

Modelle und Theorie Verteilter SystemeAbschlussarbeiten (Detail)

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Inhalt des Dokuments

Master

On Expressiveness of Matching Process Calculi

Montag, 26. August 2013

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. rer. nat. Glesner

Yonova-Karbe, Tsvetelina


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe